AADL_SOURCES = $(srcdir)/dms.aadl
AADL_ROOT    = door_management.imp

OTHER_FILES =

CLEANDIRS =
CLEANFILES =  *.lnt demo.svl

include $(srcdir)/../Makefile.common

AVAILABLE_TARGETS= parse-aadl lnt
